<html>
<head><meta charset="utf-8"><title>closed I-nominated · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html">closed I-nominated</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="200702598"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200702598" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200702598">(Jun 12 2020 at 17:55)</a>:</h4>
<p>the discussion about taking care of closed <code>I-nominated</code> issues has come up a couple of times and I guess we could decide what to do with those</p>



<a name="200702634"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200702634" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200702634">(Jun 12 2020 at 17:55)</a>:</h4>
<p>if we were paying attention to them we would need to consider that there are 880 of them right now <a href="https://github.com/rust-lang/rust/issues?q=is%3Aclosed+label%3AI-nominated">https://github.com/rust-lang/rust/issues?q=is%3Aclosed+label%3AI-nominated</a> <span aria-label="joy" class="emoji emoji-1f602" role="img" title="joy">:joy:</span></p>



<a name="200702659"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200702659" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200702659">(Jun 12 2020 at 17:55)</a>:</h4>
<p>Mhh</p>



<a name="200702676"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200702676" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200702676">(Jun 12 2020 at 17:55)</a>:</h4>
<p>we can remove the nominations from all of those or maybe just check by date</p>



<a name="200702707"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200702707" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200702707">(Jun 12 2020 at 17:56)</a>:</h4>
<p>we could check the ones from last week</p>



<a name="200702712"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200702712" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200702712">(Jun 12 2020 at 17:56)</a>:</h4>
<p><span class="user-mention silent" data-user-id="301348">Elinvynia</span> will prioritize them for us to discuss then xD</p>



<a name="200702761"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200702761" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200702761">(Jun 12 2020 at 17:56)</a>:</h4>
<p><span aria-label="joy" class="emoji emoji-1f602" role="img" title="joy">:joy:</span></p>



<a name="200702829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200702829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200702829">(Jun 12 2020 at 17:56)</a>:</h4>
<p>the important thing I think is to discuss what do we want to do, do we want to accept nominations for closed issues or not</p>



<a name="200702843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200702843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200702843">(Jun 12 2020 at 17:57)</a>:</h4>
<p>one thing I've figured it happened was ...</p>



<a name="200702870"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200702870" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200702870">(Jun 12 2020 at 17:57)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/73153">#73153</a></p>



<a name="200702939"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200702939" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200702939">(Jun 12 2020 at 17:57)</a>:</h4>
<p>this PR was nominated but was merged before the meeting and before we checked the nominations so it went "unnoticed"</p>



<a name="200702969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200702969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200702969">(Jun 12 2020 at 17:58)</a>:</h4>
<p>Now we get pinged when issue gets nominated though</p>



<a name="200702976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200702976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200702976">(Jun 12 2020 at 17:58)</a>:</h4>
<p>I'm quoting that because I did realize about it and we discussed anyway</p>



<a name="200703033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200703033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200703033">(Jun 12 2020 at 17:58)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/closed.20I-nominated/near/200702969">said</a>:</p>
<blockquote>
<p>Now we get pinged when issue gets nominated though</p>
</blockquote>
<p>yeah, that's right, maybe that's enough</p>



<a name="200703072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200703072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200703072">(Jun 12 2020 at 17:58)</a>:</h4>
<p>I wonder if people want to nominate closed issues or closed PRs</p>



<a name="200703078"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200703078" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200703078">(Jun 12 2020 at 17:58)</a>:</h4>
<p>As long as someone doesn't nominate 50 issues, I think it's fine</p>



<a name="200703085"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200703085" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200703085">(Jun 12 2020 at 17:58)</a>:</h4>
<p>do our bot mention us?</p>



<a name="200703100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200703100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200703100">(Jun 12 2020 at 17:58)</a>:</h4>
<p>Now yes</p>



<a name="200703111"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200703111" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200703111">(Jun 12 2020 at 17:58)</a>:</h4>
<p>I fixed the strings</p>



<a name="200703135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200703135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200703135">(Jun 12 2020 at 17:59)</a>:</h4>
<p>The PR got merged like 1 or 2 hours ago</p>



<a name="200703141"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200703141" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200703141">(Jun 12 2020 at 17:59)</a>:</h4>
<p>I meant, we get notified if someone adds <code>I-nominate</code> but the issue is closed?</p>



<a name="200703174"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200703174" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200703174">(Jun 12 2020 at 17:59)</a>:</h4>
<p>The bot doesn't care if the issue is closed or not</p>



<a name="200703187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200703187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200703187">(Jun 12 2020 at 17:59)</a>:</h4>
<p>great</p>



<a name="200703197"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200703197" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200703197">(Jun 12 2020 at 17:59)</a>:</h4>
<p>then problem solved :)</p>



<a name="200703225"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200703225" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200703225">(Jun 12 2020 at 17:59)</a>:</h4>
<p>Bots really are taking over :P</p>



<a name="200705546"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200705546" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200705546">(Jun 12 2020 at 18:17)</a>:</h4>
<p>that's the idea :)</p>



<a name="200734030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/closed%20I-nominated/near/200734030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/closed.20I-nominated.html#200734030">(Jun 12 2020 at 22:57)</a>:</h4>
<p>that's why we should do it like bors which doesnt reply to closed prs :P</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>